- inference operation
- операция логического вывода
English-Russian dictionary of computer science and programming. 2013.
English-Russian dictionary of computer science and programming. 2013.
INFÉRENCE — Opération de l’esprit qui passe de propositions assertives, comme prémisses, à des propositions assertives, comme conclusions. Au sens strict, on distingue l’inférence du raisonnement en ce qu’elle peut être soit médiate soit immédiate (passer de … Encyclopédie Universelle
Inference — Inférence L inférence est une opération mentale, ou jugement, qui consiste à tirer une conclusion (d une série de propositions reconnues pour vraies). Ces conclusions sont tirées à partir de règles de base. Dans sa définition classique, l… … Wikipédia en Français
Inférence — Les types de raisonnement rigoureux déductif (synthétique) Déduction (implication ou inférence universelle) Syllogisme Raisonnement par l absurde (apagogie) ; par la contraposée inductif (analytique) induction complète (étude de tous les cas … Wikipédia en Français
Operation Crusader — Part of Western Desert Campaign A Crusader mk.I passes a burning German Panzer IV … Wikipedia
Soil inference system — Inference is a process of deriving logical conclusion from the basis of empirical evidence and prior knowledge rather than on the basis of direct observation. Soil Inference System (SINFERS) is the term proposed by McBratney et al. (2002) as a… … Wikipedia
immediate inference — noun 1. : an inference drawn from a single premise 2. : the operation of drawing an inference from a single premise … Useful english dictionary
RAISONNEMENT — Le mot de raisonnement est ambigu. On ne dispose pas, pour ce qu’il recouvre, de deux vocables, comme c’est le cas pour le concept et le terme qui le désigne, pour le jugement et la proposition qui l’exprime. Un raisonnement, c’est d’abord une… … Encyclopédie Universelle
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy